Modelling Simultaneous Games with Concurrent Dynamic Logic
نویسندگان
چکیده
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independencefriendly evaluation games for first-order logic.
منابع مشابه
Modelling Simultaneous Games in Dynamic Logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quanti...
متن کاملConcurrent Games and Full Completeness
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It also admits an elegant and robust formalization. A Full Completeness Theorem for Multiplicative-Additive Linear Logic is proved for this semantics.
متن کاملDynamic Competitive Supply Chain Network Design with Price Dependent Demand and Huff Utility Function
This paper develops a two-stage model to consider a franchise/franchisee environment in which supply chains are simultaneously entering the untapped market to produce either identical or highly substitutable products and give franchise to franchisees. Customer demand is elastic, price dependent and customer utility function is based on Huff gravity rule model. The supply chains, in the first st...
متن کاملStrategy Composition in Dynamic Games with Simultaneous Moves
Sometimes, in dynamic games, it is useful to reason not only about the existence of strategies for players, but also about what these strategies are, and how players select and construct them. We study dynamic games with simultaneous moves, repeated normal form games and show that this reasoning can be carried out by considering a single game, and studying composition of “local” strategies. We ...
متن کاملHuman Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models
This article provides a three-way interaction between experiments, logic and cognitive modelling so as to bring out a shared perspective among these diverse areas, aiming towards better understanding and better modelling of human strategic reasoning in dynamic games.
متن کامل